This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using (...) my 1972 proof of the completeness of Aristotle’s syllogistic. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

c.4,000 word critical discussion of Fabre's book. Provides an overview of the book plus comments on the themes of (i) loyalty and treason and (ii) the ethics of spying and sex.

If states are permitted to create and maintain a military force, by what means are they permitted to do so? This paper argues that a theory of just recruitment should incorporate a concern for moral risk. Since the military is a morally risky profession for its members, recruitment policies should be evaluated in terms of how they distribute moral risk within a community. We show how common military recruitment practices exacerbate and concentrate moral risk exposure, using the UK as a (...) case study. We argue that the British state wrongs its citizens by subjecting them to excessively morally risky recruitment practices. Since, we argue, this risk exposure cannot be justified by appealing to the benefits of a military career for recruits, our argument calls for reform of existing practices. Our method of evaluation is generalizable and thus can be used to assess other states’ practices. (shrink)

Many think that it would be wrong to defend an individual from attack if he competently and explicitly refuses defensive intervention. In this paper, I consider the extent to which the preferences of victims affect the permissibility of defending groups or aggregates. These cases are interesting and difficult because there is no straightforward sense in which a group can univocally consent to or refuse defensive intervention in the same way that an individual can. Among those who have considered this question, (...) the dominant view is that that consent imposes only an extremely weak constraint on defending groups. I argue that this is mistaken and defend a much more robust requirement. Indeed, on the account that I develop there are cases in which the refusal of a single member of a victim is enough to make it impermissible to defend a much larger group. At the heart of my account is the idea that consent functions as an internal component of the broader requirement that defensive harms be proportionate: if a victim validly refuses defensive intervention, the fact that defence will benefit him cannot be used to justify harming innocents as the lesser-evil. An important implication of this view is that what constitutes sufficient consent from the members of a victim group will vary on a case-by-case basis. (shrink)

According to common-sense morality, agents can become morally connected to the wrongdoing of others, such that they incur special obligations to prevent or rectify the wrongs committed by the primary wrongdoer. We argue that, under certain conditions, voluntary and unjustified observation of another agent’s degrading wrongdoing, or of the ‘product’ of their wrongdoing, can render an agent morally liable to bear costs for the sake of the victim of the primary wrong. We develop our account with particular reference to widespread (...) modern phenomena such as so-called ‘revenge porn’, ‘up-skirting’, and the online observation of sexual assault and murder. On our account, observation is not a sui generis basis of liability. Instead, observation grounds liability in virtue of manifesting three, more general, grounds of liability. First, observation can compound a primary wrong, making that wrong more harmful for the victim. Second, observation can constitute degrading treatment of the victim. Third, in certain cases observation can enable primary wrongdoing. We conclude by discussing the conditions under which observing degrading wrongs might be morally justified. (shrink)

Since its earliest incarnations, just war theory has included the requirement that war must be initiated and waged by a legitimate authority. However, while recent years have witnessed a remarkable resurgence in interest in just war theory, the authority criterion is largely absent from contemporary discussions. In this paper I aim to show that this is an oversight worth rectifying, by arguing that the authority criterion plays a much more important role within just war theorising than is commonly supposed. As (...) standardly understood, the authority criterion provides a necessary condition for the justification of the resort to war, but has no bearing on the question of permissible conduct in war. In opposition, I argue for an alternative interpretation of the criterion, which attributes to it a fundamental role in assessing this latter question. With this revised interpretation in place, I then demonstrate its advantages by applying it to the practical issue of armed conflicts that are initiated and fought by non-traditional belligerents. While several theorists have recognised that this common feature of modern armed conflict poses a challenge to mainstream just war theory in general—and to the authority criterion in particular—I argue that existing discussions frequently misconstrue the nature of the challenge, since they assume the standard interpretation of the authority requirement and its role within the theory. I then show that the revised interpretation provides a clearer account of both the challenge posed by non-traditional belligerency and the kind of response that it requires. (shrink)

Chater & Loewenstein argue that i-frame research has been coopted by private interests opposed to system-level reform, leading to ineffective interventions. They recommend that behavioural scientists refocus on system-level interventions. We suggest that the influence of private interests on research is problematic for wider normative and epistemic reasons. A system-level intervention to shield research from private influence is needed.

This paper focuses on Quong’s account of the scope of the means principle (the range of actions over which the special constraint on using a person applies). One the key ideas underpinning Quong’s approach is that the means principle is downstream from an independent and morally prior account of our rights over the world and against one another. I raise three challenges to this ‘rights first’ approach. First, I consider Quong’s treatment of harmful omissions and argue that Quong’s view generates (...) counter-intuitive results. Second, I argue that cases of harmful omissions raise problems for Quong’s claim that intentions are irrelevant to permissibility. Third, I consider Quong’s extension of the means principle to include uses of persons’ rightfully-owned property. I suggest that, contra Quong, the morality of defensive harm is not based on a prior account of distributive justice. Instead the two normative domains mutually inform one another. (shrink)

This paper explores the connections between two central topics in moral and political philosophy: the moral legitimacy of authority and the ethics of causing harm. Each of these has been extensively discussed in isolation, but relatively little work has considered the implications of certain views about authority for theories of permissible harming, and vice versa. As I aim to show, reflection on the relationship between these two topics reveals that certain common views about, respectively, the justification of harm and the (...) moral limits of authority require revision. The paper proceeds as follows. Sections 1 and 2 clarify the question to be addressed and set out two main claims that I will defend. Sections 3-5 argue for the first claim. Sections 6-9 defend the second. Section 10 concludes. (shrink)

Provides an opinionated overview of some recent debates within the ethics of war.

Those of us who are not pacifists face an obvious challenge. Common-sense morality contains a stringent constraint on intentional killing, yet war involves homicide on a grand scale. If wars are to be morally justified, it needs be shown how this conflict can be reconciled. A major fault line running throughout the contemporary just war literature divides two approaches to attempting this reconciliation. On a ‘reductivist’ view, defended most prominently by Jeff McMahan, the conflict is largely illusory, since such killing (...) can be justified by aggregating individuals’ ordinary permissions to use force in self- and other-defence. In opposition, a rival ‘nonreductivist’ approach holds that these considerations are insufficient for the task. One prominent version of non-reductivism grounds the permission to kill in combatants’ membership in certain kinds of group or association. The key claim is that participation in certain morally important relationships can provide an independent source of permission for killing in war. This paper argues that non-reductivism should be rejected. It does so by pushing a dilemma onto non-reductivists: if they are successful in showing that the relevant relationships can generate permissions to kill in war, they must also jettison the most intuitive restrictions on conduct in war—the constraint on intentionally killing morally innocent non-combatants most saliently. Since this conclusion is unacceptable, non-reductivism should be rejected. (shrink)

The vast majority of work on the ethics of war focuses on traditional wars between states. In this chapter, I aim to show that this is an oversight worth rectifying. My strategy will be largely comparative, assessing whether certain claims often defended in discussions of interstate wars stand up in the context of civil conflicts, and whether there are principled moral differences between the two types of case. Firstly, I argue that thinking about intrastate wars can help us make progress (...) on important theoretical debates in recent just war theory. Secondly, I consider whether certain kinds of civil wars are subject to a more demanding standard of just cause, compared to interstate wars of national-defence. Finally, I assess the extent to which having popular support is an independent requirement of permissible war, and whether this renders insurgencies harder to justify than wars fought by functioning states. (shrink)

This précis summarizes the main topics, arguments and conclusions of the book. Many interesting arguments and critiques have, of course, been omitted in order to make this summary appropriately brief.

Despite a recent explosion of interest in the ethics of armed conflict, the traditional just war criterion that war be waged by a “legitimate authority” has received less attention than other components of the theory. Moreover, of those theorists who have addressed the criterion, many are deeply skeptical about its moral significance. This article aims to add some clarity and precision to the authority criterion and to debates surrounding it, and to suggest that this skepticism may be too quick. First, (...) it provides an analysis of the authority criterion, and argues there are (at least) two distinct moral claims associated with the criterion, requiring separate evaluation. Second, it outlines an increasingly influential “reductivist” approach to just war theory, and explains how it grounds powerful objections to the authority criterion. Third, and in response, it sketches the most promising strategies for providing a (qualified) defense of authority, and the further questions and complications they raise. Importantly, these strategies aim to rehabilitate the authority criterion from within a broadly reductivist view. (shrink)

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of literary (...) text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism. (shrink)

Law and Morality at War offers a broadly instrumentalist defense of the authority of the laws of war: these laws serve combatants by helping them come closer to doing what they have independent moral reason to do. We argue that this form of justification sets too low a bar. An authority’s directives are not binding, on instrumental grounds, if the subject could, within certain limits, adopt an alternative, and superior, means of conforming to morality’s demands. It emerges that Haque’s argument (...) fails to vindicate the law’s authority over all combatants. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

2015 Reprint of 1956 Printing. Full facsimile of the original edition. Not reproduced with Optical Recognition Software. Cybernetics is here defined as "the science of control and communication, in the animal and the machine"-in a word, as the art of steersmanship; and this book will interest all who are interested in cybernetics, communication theory and methods for regulation and control. W. Ross Ashby (1903-1972) was an English psychiatrist and a pioneer in cybernetics, the study of complex systems. His two books, (...) "Design for a Brain" and "An Introduction to Cybernetics," were landmark works. They introduced exact and logical thinking into the nascent discipline and were highly influential. Contents include: What is new -- Change -- The Determinate Machine -- The Machine with Input -- Stability -- The Black Box -- Quantity of Variety -- Transmission of Variety -- Incessant Transmission -- Regulation in Biological Systems -- Requisite Variety -- The Error-controlled Regulator -- Regulating the Very Large System -- Amplifying Regulation. (shrink)

Catalan translation, introductory study and notes on W. K. Clifford’s “The Ethics of Belief”. Published in Clifford, W.K. “L’ètica de la creença”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 129–150. // Catalan translation, introductory study and notes on William James’s “The Will to Believe”. Published in James, William. “La voluntat de creure”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 151–172. [Introductory study published in Oya, Alberto. “Introducció. El debat entre W. K. Clifford i (...) class='Hi'>William James”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 123–127]. (shrink)

[This download contains the Table of Contents and Chapter 1.] This first book-length study of confabulation breaks ground in both philosophy and cognitive science.

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. Standard (...) solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms (long noted by theorists like William Connolly and Quentin Skinner), as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

Deferential Monadic Panpsychism is a view that accepts that physical science is capable of discovering the basic structure of reality. However, it denies that reality is fully and exhaustively de- scribed purely in terms of physical science. Consciousness is missing from the physical description and cannot be reduced to it. DMP explores the idea that the physically fundamental features of the world possess some intrinsic mental aspect. It thereby faces a se- vere problem of understanding how more complex mental states (...) emerge from the mental features of the fundamental features. Here I explore the idea that a new form of aggregative emergence, which I call 'combinatorial infusion', could shed light on this problem and bolster the prospects for this form of panpsychism. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

A representationalist-friendly introduction to representationalism which covers a number of central problems and objections.

[This download includes the table of contents and chapter 1.] -/- When we praise, blame, punish, or reward people for their actions, we are holding them responsible for what they have done. Common sense tells us that what makes human beings responsible has to do with their minds and, in particular, the relationship between their minds and their actions. Yet the empirical connection is not necessarily obvious. The “guilty mind” is a core concept of criminal law, but if a defendant (...) on trial for murder were found to have serious brain damage, which brain parts or processes would have to be damaged for him to be considered not responsible, or less responsible, for the crime? The authors argue that evidence from neuroscience and the other cognitive sciences can illuminate the nature of responsibility and agency. They go on to offer a novel and comprehensive neuroscientific theory of human responsibility. (shrink)

Many philosophers have claimed that we might do well to adopt a hybrid theory of well-being: a theory that incorporates both an objective-value constraint and a pro-attitude constraint. Hybrid theories are attractive for two main reasons. First, unlike desire theories of well-being, hybrid theories need not worry about the problem of defective desires. This is so because, unlike desire theories, hybrid theories place an objective-value constraint on well-being. Second, unlike objectivist theories of well-being, hybrid theories need not worry about being (...) overly alienating. This is so because, unlike objectivist theories, hybrid theories place a pro-attitude constraint on well-being. However, from the point of view of objectivists, hybrid theories are not objectivist enough, and this can be seen clearly in missing-desires cases. For instance, hybrid theories entail that, if someone lacks the desire for health, then health is not a component of her well-being. This, objectivists say, is implausible. It is obvious, objectivists say, that someone’s life goes better for herself inasmuch as she is healthy, and hence that health is a component of her welfare. This paper focuses on the missing-desires objection (as leveled by objectivists) to hybrid theories of well-being. My argument is that the missing-desires objection can be answered in a way that is generally convincing and, in particular, in a way that pays a good deal of respect to objectivist intuitions about well-being. My hope, then, is that this paper will help to persuade objectivists about well-being to become hybrid theorists. (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...) to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

It is well known that the probabilistic relation of confirmation is not transitive in that even if E confirms H1 and H1 confirms H2, E may not confirm H2. In this paper we distinguish four senses of confirmation and examine additional conditions under which confirmation in different senses becomes transitive. We conduct this examination both in the general case where H1 confirms H2 and in the special case where H1 also logically entails H2. Based on these analyses, we argue that (...) the Screening-Off Condition is the most important condition for transitivity in confirmation because of its generality and ease of application. We illustrate our point with the example of Moore’s “proof” of the existence of a material world, where H1 logically entails H2, the Screening-Off Condition holds, and confirmation in all four senses turns out to be transitive. (shrink)

Bernard Williams famously argued that eternal life is undesirable for a human because it would inevitably grow intolerably boring. I will argue against Williams and those who share his view. To make my case, I will provide an account of what staves off boredom in our current, earthly-mortal lives, and then I will draw on this account while advancing reasons for thinking that eternal life is desirable, given certain conditions. Though my response to Williams will partly overlap with some prior (...) responses to Williams, especially the one offered by J. M. Fischer, my response will also be distinctive in some important ways. For instance, it will be distinctive in that it will discuss the role that one’s part-whole-reality conception plays in fending off boredom, where by “one’s part-whole-reality conception” I mean “one’s conception of his or her place in the whole of reality.”. (shrink)

John Maynard Keynes’s A Treatise on Probability is the seminal text for the logical interpretation of probability. According to his analysis, probabilities are evidential relations between a hypothesis and some evidence, just like the relations of deductive logic. While some philosophers had suggested similar ideas prior to Keynes, it was not until his Treatise that the logical interpretation of probability was advocated in a clear, systematic and rigorous way. I trace Keynes’s influence in the philosophy of probability through a heterogeneous (...) sample of thinkers who adopted his interpretation. This sample consists of Frederick C. Benenson, Roy Harrod, Donald C. Williams, Henry E. Kyburg and David Stove. The ideas of Keynes prove to be adaptable to their diverse theories of probability. My discussion indicates both the robustness of Keynes’s probability theory and the importance of its influence on the philosophers whom I describe. I also discuss the Problem of the Priors. I argue that none of those I discuss have obviously improved on Keynes’s theory with respect to this issue. (shrink)

William S. Lewis examines the contribution to philosophy of science made by Lefebvre, in the context of his membership of the French Communist Party.

Suppose that an altruistic agent who is uncertain between evidential and causal decision theory finds herself in a situation where these theories give conflicting verdicts. We argue that even if she has significantly higher credence in CDT, she should nevertheless act in accordance with EDT. First, we claim that the appropriate response to normative uncertainty is to hedge one's bets. That is, if the stakes are much higher on one theory than another, and the credences you assign to each of (...) these theories are not very different, then it is appropriate to choose the option that performs best on the high-stakes theory. Second, we show that, given the assumption of altruism, the existence of correlated decision makers will increase the stakes for EDT but leave the stakes for CDT unaffected. Together these two claims imply that whenever there are sufficiently many correlated agents, the appropriate response is to act in accordance with EDT. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

The hard problem of consciousness has held center stage in the philosophy of mind for the past two decades. It claims that the phenomenal character of conscious experiences—what it’s like to be in them—cannot be explained by appeal to the operation of physiological subsystems. The hard problem arises, however, only given the assumption that hylomorphism is false. Hylomorphism claims that structure is a basic ontological and explanatory principle. A human is not a random collection of physical materials, but an individual (...) composed of physical materials with a structure that accounts for what it is and what it can do—the powers it has. What is true of humans is true of their activities as well. The latter are not random physiological changes, but structured ones: we engage in them by coordinating the ways our parts manifest their powers. Structured activities include perceptual experiences. Consequently, everything about a perceptual experience, including its phenomenal character, can be explained by describing the perceiver’s perceptual subsystems, the powers of those subsystems, and the coordination that unifies their activities into the activity of the perceiver as a whole. Conscious experiences thus fit unproblematically into the natural world—just as unproblematically as the phenomenon of life. Even exponents of the hard problem of consciousness agree that there is no hard problem of life. Consequently, if hylomorphism is true, there can be no hard problem of consciousness. To insist that there is such a problem, then, is implicitly to reject hylomorphism. The concept of consciousness that motivates the hard problem is as much a theoretical construct, therefore, as the concept of life that motivates an obstinate vitalist. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

This is the introduction to Seeing Wittgenstein Anew, eds. William Day & Victor J. Krebs (Cambridge UP, 2010), a collection of essays on Ludwig Wittgenstein's remarks on aspect-seeing. Section 1: Why Seeing Aspects Now?; Section 2: The Importance of Seeing Aspects; Section 3: The Essays. (The front matter to Seeing Wittgenstein Anew appears above under "Books.").

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch sentences (...) are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

An important question in the current debate on the epistemic significance of peer disagreement is whether evidence of evidence is evidence. Fitelson argues that, at least on some renderings of the thesis that evidence of evidence is evidence, there are cases where evidence of evidence is not evidence. I introduce a condition and show that under this condition evidence of evidence is evidence.

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.